Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
741	102 BOOK REVIEWS idea of a mechanical balance, described the volume of exchange of various aggregated commodities, weighted by their price, balanced against the quantity of money in the Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2012-01-17 10:21:34 Secularism Empiricism Philosophical movements Philosophical logic Naturalism Rationality Logical positivism Philosophical realism Positivism Philosophy Science Philosophy of science
742	Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-04-26 07:06:34 Information science Non-classical logic Formal systems Knowledge representation Ontology Description logic Axiom Modal logic Mereology Logic Mathematical logic Mathematics
743	POOL OF TOOLS AND METHODS Add to Reading List Source URL: www.foodlinkscommunity.net Language: English - Date: 2013-07-31 02:59:35 Inquiry Logic Thought Critical thinking Educational psychology Charrette Appreciative inquiry X Window System Knowledge Software Mind Science
744	Dimensions of Argumentation in Social Media Jodi Schneider1 , Brian Davis1 , and Adam Wyner2 1 Digital Enterprise Research Institute, National University of Ireland, Galway, Add to Reading List Source URL: jodischneider.com Language: English - Date: 2012-06-30 18:56:30 Knowledge Thought Logic Debating Epistemology Argumentation theory Argument Defeasible reasoning Rhetoric Critical thinking Science Arguments
745	Invitation to Courses PROF. KRISHNENDU CHATTERJEE Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-02-12 03:12:12 Formal methods Logic in computer science Formal verification Model checking Correctness Institute of Science and Technology Austria Distributed algorithm Algorithm Specification Theoretical computer science Applied mathematics Mathematics
746	Forthcoming: The Blackwell Companion to Experimental Philosophy The adaptive logic of moral luck Justin W. Martin & Fiery Cushman Harvard University Add to Reading List Source URL: cushmanlab.fas.harvard.edu Language: English - Date: 2014-12-11 15:56:58 Morality Behavior Philosophy of life Philosophy of science Science of morality Moral luck Moral character Moral responsibility Justice Philosophy Social philosophy Ethics
747	Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-15 06:33:59 Logic in computer science Non-classical logic Query languages Prolog Logic programming Denotational semantics Programming language Logic Modal logic Software engineering Computing Computer programming
748	BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 09:45:05 Complexity classes Algorithm Mathematical logic Model of computation PP Dynamic problem P ACC0 Circuit complexity Theoretical computer science Computational complexity theory Applied mathematics
749	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
750	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages

UPDATE